1. Theory of program structures : schemes, semantics, Verification
پدیدآورنده : Greibach, Sheila A., 9391-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer programming,، Recursive programming,، Computer programs
رده :
QA
76
.
L28
Vol
.
36
